منابع مشابه
Psychological Validity of Schematic Proofs
Schematic proofs are functions which can produce a proof of a proposition for each value of their parameters. A schematic proof can be constructed by abstracting a general pattern of proof from several examples of a family of proofs. In this paper we examine several interesting aspects of the use of schematic proofs in mathematics. Furthermore, we pose several conjectures about the psychologica...
متن کاملPsychological Nature of Verification of Informal Mathematical Proofs
It is a pleasure to dedicate this article to Dov Gabbay on the occasion of his sixtieth birthday. I still have fond memories of him as a very young person, when I met him for the first time four decades ago at Stanford. That discovering or finding proofs is essentially a psychological process is widely recognized. Distinguished mathematicians such as Poincare and Hadamard have written very pers...
متن کاملAvoiding Unnecessary Coma
1 Laurence D. What is pharmacology? A discussion. Trends Pharmacol Sci 1997; 18: 153–5 2 Power I. Fentanyl HCl iontophoretic transdermal system (ITS): clinical application of iontophoretic technology in the management of acute postoperative pain. Br J Anaesth 2007; 98: 4–11 3 Hendrickx JFA, Eger EI, II, Sonner JM, Shafer SL. Is synergy the rule? A review of anesthetic interactions producing hyp...
متن کاملPhysician suicide: unnecessary losses.
On a very ordinary day in a very unremarkable year of fellowship training, one of my closest friends gave me a clue I still grieve over missing: she said that in a few days, all the secrets patients and friends had confided in her would be safe forever. I remember thinking it was a strange remark, but didn’t pursue it. That weekend, she left her clothes and wallet on a Nantucket beach and swam ...
متن کاملUnnecessary urinary electrolyte measurements.
1. Godolphin, W., and Thoma, J., Quantitation of anticonvulsant drugs in serum by gas-liquid chromatography on the stationary phase SP-2510. C/in. Chem. 24, 483 (1978). 2. Hewitt, T. E., Sievers, D. Z., and Kessler, 0., Improved gas-chromatographic analysis for anticonvulsants. C/in. (‘hero. 24, 1854 (1978). 3. Bredesen, J. E., and .Johannesen, S. I., Simultaneous determination of some antiepil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Chemical Education
سال: 1982
ISSN: 0021-9584,1938-1328
DOI: 10.1021/ed059p624